1
Branching-Time Temporal Logics. Theoretical Issues and a Computer Science Application [PhD Thesis]

Branching-Time Temporal Logics. Theoretical Issues and a Computer Science Application [PhD Thesis]

ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.40 MB
0 / 0
english, 2007
2
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

ปี:
2013
ภาษา:
english
ไฟล์:
PDF, 1.93 MB
0 / 0
english, 2013
3
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

ปี:
2013
ภาษา:
english
ไฟล์:
PDF, 4.11 MB
0 / 0
english, 2013